Generalized finite automaton theory restrictive doctrine of state immunity 广义有限自动机理论限制性国家豁免(理)论
Automatic Recognition of Steel Character Symbol Based on Automaton Theory 基于自动机原理的钢筋标识串的自动识别
Based on the formal language and automaton theory, this paper mainly studies the automatic recognition of steel character symbol. 本文基于形式语言与自动机理论,主要对钢筋标识串的自动识别进行了研究。
Automaton theory is a basic theory of compile routine for identifying words. 自动机理论是编译程序中单词识别的基本理论。
Generalized finite automaton theory 广义有限自动机理论
Physical cellular automaton theory for simulating the failure process of micro-heterogeneous material 模拟细观非均质材料破坏演化的物理元胞自动机理论
A Symbolic Optimization Method for Model Checking of LTL Based on Automaton Theory 一种基于自动机理论的LTL检验符号优化方法
The appear and development of traffic flow cellular automaton model points out a new direction for researching on traffic flow theory, and provides a available model tool for researching on system global behavior and complex phenomena of traffic flow dynamics theory. 而交通流元胞自动机模型的出现和发展为交通流理论研究提供了一种新的方向,为交通流动力学理论中系统整体行为与复杂现象的研究提供了一个有效的模型工具。
To give the Geo-cognitive Cellular Automaton theory; 提出认知元胞、地理认知元胞自动机理论;
The automaton theory is established as theoretical model of discrete automatic device and computer. 自动机理论是作为离散自动装置和计算机理论模型建立的。
The decoding function has used the formal language and the automaton theory. 译码采用了编译原理的形式语言与自动机理论,实现数控加工程序的编译和错误查找功能。
Cellular automaton evolution and computation theory 细胞自动机的演化与计算理论
First, Cellular Automaton theory is used to get demonstration and the applicability of the proposed model is validated by simulating tracking operations of trains in Beijing subway line 2. 首先建立元胞自动机模型进行了实证研究,通过在北京地铁2号线的实际运用说明了模型的有效性。
Automaton is the model to realize computer program. The task of automaton theory is to study the model of the abstract machine. 自动机是实现计算机程序的模型,自动机理论的任务就在于研究这种抽象机器的模型。
On this base, the security vulnerability inspection mechanism based on automaton theory is discussed, and automaton description language grammer based on pattern and Automata Semantics structure is designed and implemented for the security vulnerability inspection mechanism. 论文中首先阐述了与安全漏洞相关的基础理论,在此基础上,讨论了基于自动机的安全检查机制并针对安全检查机制设计了以模式和语义结构为主的自动机描述语言文法。
The corrosion cellular automaton model was established onthe collision rules and liquid metal corrosion theory. 在模拟过程中,提出了一种碰撞行走规则,与液态金属腐蚀理论相结合建立了铁/锌液腐蚀的元胞自动机模型。
We simulate the pedestrian evacuation process based on cellular automaton by introducing game theory. 我们在元胞自动机模型的基础上数值模拟了引入博弈的室内行人疏散过程。